- truth verifier machine
- Общая лексика: детектор лжи (из The Moscow Times)
Универсальный англо-русский словарь. Академик.ру. 2011.
truth verifier machine
Смотреть что такое "truth verifier machine" в других словарях:
IP (complexity) — In computational complexity theory, the class IP is the class of problems solvable by an interactive proof system. The concept of an interactive proof system was first introduced by Goldwasser, et al. in 1985. An interactive proof system consists … Wikipedia
P = NP problem — The relationship between the complexity classes P and NP is an unsolved question in theoretical computer science. It is considered to be the most important problem in the field – the Clay Mathematics Institute has offered a $1 million US prize… … Wikipedia
P versus NP problem — Unsolved problems in computer science Is P = NP ? … Wikipedia
True quantified Boolean formula — The language TQBF is a formal language in computer science that contains True Quantified Boolean Formulas. A fully quantified boolean formula is a formula in first order logic where every variable is quantified (or bound), using either… … Wikipedia
Gödel's incompleteness theorems — In mathematical logic, Gödel s incompleteness theorems, proved by Kurt Gödel in 1931, are two theorems stating inherent limitations of all but the most trivial formal systems for arithmetic of mathematical interest. The theorems are of… … Wikipedia
Fortran — Infobox programming language name = Fortran caption = The Fortran Automatic Coding System for the IBM 704 (October 15, 1956), the first Programmer s Reference Manual for Fortran paradigm = multi paradigm: procedural, imperative, structured,… … Wikipedia
Fusion Froide — La fusion froide doit être distinguée de la Fusion catalysée par muons, initialement qualifiée, et elle seule, de fusion froide. C est une réaction de fusion nucléaire qui aurait été réalisée dans des conditions de température et de pression… … Wikipédia en Français
Fusion froide — Diagramme d un calorimètre utilisé à l institut de la nouvelle énergie à base d hydrogène au Japon. La presse a nommé fusion froide ce qui semblait être une fusion nucléaire réalisée dans des conditions de température et de pression ambiantes,… … Wikipédia en Français
Fusion à froid — Fusion froide La fusion froide doit être distinguée de la Fusion catalysée par muons, initialement qualifiée, et elle seule, de fusion froide. C est une réaction de fusion nucléaire qui aurait été réalisée dans des conditions de température et de … Wikipédia en Français
Réactions nucléaires en matière condensée — Fusion froide La fusion froide doit être distinguée de la Fusion catalysée par muons, initialement qualifiée, et elle seule, de fusion froide. C est une réaction de fusion nucléaire qui aurait été réalisée dans des conditions de température et de … Wikipédia en Français
Controverse sur le génocide tibétain — Le « Tibet historique » revendiqué par Dharamsala recouvre la Région autonome du Tibet, le Qinghai, les deux préfectures autonomes tibétaines et le comté autonome tibétain du Sichuan, la préfecture autonome tibétaine et le comté… … Wikipédia en Français
